Skip to content

4 packages from c-cube/qcheck at 0.27 #28808

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Nov 3, 2025
Merged

4 packages from c-cube/qcheck at 0.27 #28808

merged 1 commit into from
Nov 3, 2025
+154 −0

Conversation

@jmid
Copy link
Member

@jmid jmid commented Oct 31, 2025

This pull-request concerns:

  • qcheck.0.27: Compatibility package for QCheck
  • qcheck-alcotest.0.27: Alcotest backend for QCheck
  • qcheck-core.0.27: Core QCheck library
  • qcheck-ounit.0.27: OUnit backend for QCheck

🐫 Pull-request generated by opam-publish v2.5.0

@jmid
Copy link
Member Author

jmid commented Nov 1, 2025

CI summary:

  • octez/tezos packages Failed to get sources of asn1-combinators.0.3.2 (why is it always that one? 🤔 )
  • memcad.1.1.0 failed to install conf-libclang.12 (because debian-13 installs version 19)
  • tiny_httpd.0.11-16 failing runtest because of expect test differences
  • kcas_data.0.7.0 - fails with mdx diffs because locations are print with a Kcas. prefix
  • opam-2.0 complaining about cyclic dependencies
  • topkg.1.1.0 again failing on MinGW MSys2

There are also a couple of tezos/octez jobs running still, after >24hours with an endless stream of
- W: Tried to start delayed item http://deb.debian.org/debian trixie/main amd64 libllvm19 amd64 1:19.1.7-3+b1, but failed
lines in the log.

None of the above were triggered by the 3 new float-bindings in QCheck.Shrink or the new default shrinking of float generators enabled by them. As such this should be good to go.

@mseri
Copy link
Member

mseri commented Nov 3, 2025

I don't know if they are printed in reverse alphabetical order or what. But it is usually a few failures, and the last is always that one 😅

#=== ERROR while fetching sources for mirage-crypto.2.0.2, mirage-crypto-ec.2.0.2 and mirage-crypto-rng.2.0.2 
OpamSolution.Fetch_fail("https://github.com/mirage/mirage-crypto/releases/download/v2.0.2/mirage-crypto-2.0.2.tbz (curl failed: \"/usr/bin/curl --write-out %{http_code}\\\\n --retry 3 --retry-delay 2 --user-agent opam/2.5.0~alpha1 -L -o /tmp/opam-7-577bb3/mirage-crypto-2.0.2.tbz.part -- https://github.com/mirage/mirage-crypto/releases/download/v2.0.2/mirage-crypto-2.0.2.tbz\" exited with code 6)")

#=== ERROR while fetching sources for eqaf.0.10 ===============================#
OpamSolution.Fetch_fail("https://github.com/mirage/eqaf/releases/download/v0.10/eqaf-0.10.tbz (curl failed: \"/usr/bin/curl --write-out %{http_code}\\\\n --retry 3 --retry-delay 2 --user-agent opam/2.5.0~alpha1 -L -o /tmp/opam-7-5f9a84/eqaf-0.10.tbz.part -- https://github.com/mirage/eqaf/releases/download/v0.10/eqaf-0.10.tbz\" exited with code 6)")

#=== ERROR while fetching sources for conduit-lwt-unix.2.2.2 ==================#
OpamSolution.Fetch_fail("https://github.com/mirage/ocaml-conduit/releases/download/v2.2.2/conduit-v2.2.2.tbz (curl failed: \"/usr/bin/curl --write-out %{http_code}\\\\n --retry 3 --retry-delay 2 --user-agent opam/2.5.0~alpha1 -L -o /tmp/opam-7-edfde9/conduit-v2.2.2.tbz.part -- https://github.com/mirage/ocaml-conduit/releases/download/v2.2.2/conduit-v2.2.2.tbz\" exited with code 6)")

#=== ERROR while fetching sources for conduit.2.1.0 and conduit-lwt.2.1.0 =====#
OpamSolution.Fetch_fail("https://github.com/mirage/ocaml-conduit/releases/download/v2.1.0/conduit-v2.1.0.tbz (curl failed: \"/usr/bin/curl --write-out %{http_code}\\\\n --retry 3 --retry-delay 2 --user-agent opam/2.5.0~alpha1 -L -o /tmp/opam-7-c6077d/conduit-v2.1.0.tbz.part -- https://github.com/mirage/ocaml-conduit/releases/download/v2.1.0/conduit-v2.1.0.tbz\" exited with code 6)")

#=== ERROR while fetching sources for cohttp.4.0.0, cohttp-lwt.4.0.0 and cohttp-lwt-unix.4.0.0 
OpamSolution.Fetch_fail("https://github.com/mirage/ocaml-cohttp/releases/download/v4.0.0/cohttp-v4.0.0.tbz (curl failed: \"/usr/bin/curl --write-out %{http_code}\\\\n --retry 3 --retry-delay 2 --user-agent opam/2.5.0~alpha1 -L -o /tmp/opam-7-1fe909/cohttp-v4.0.0.tbz.part -- https://github.com/mirage/ocaml-cohttp/releases/download/v4.0.0/cohttp-v4.0.0.tbz\" exited with code 6)")

#=== ERROR while fetching sources for asn1-combinators.0.3.2 ==================#
OpamSolution.Fetch_fail("https://github.com/mirleft/ocaml-asn1-combinators/releases/download/v0.3.2/asn1-combinators-0.3.2.tbz (curl failed: \"/usr/bin/curl --write-out %{http_code}\\\\n --retry 3 --retry-delay 2 --user-agent opam/2.5.0~alpha1 -L -o /tmp/opam-7-411ca3/asn1-combinators-0.3.2.tbz.part -- https://github.com/mirleft/ocaml-asn1-combinators/releases/download/v0.3.2/asn1-combinators-0.3.2.tbz\" exited with code 6)")

@mseri mseri merged commit 284a92b into ocaml:master Nov 3, 2025
2 of 4 checks passed
@mseri
Copy link
Member

mseri commented Nov 3, 2025

Thanks

@jmid jmid deleted the opam-publish-qcheck.0.27 branch November 3, 2025 10:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

consider for merge

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@jmid @mseri